Traac Lights -an Autofocus Case Study
نویسندگان
چکیده
In this paper we present a case study on Auto-Focus, a tool prototype for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify , consistency-check and simulate) the controller of a pedestrian traac light using diierent graphical description techniques to illustrate an engineering process for concurrent systems.
منابع مشابه
Traac Jams
The ow of vehicular traac has been studied in many diierent ways. After an introduction, we will give overview of several models for the ow on single lane road: a uid dynamics theory, a approach based on the dynamics of individual vehicles and a model using a cellular automata. The latter model will be used to study to ow in two dimensions representing the traac in a city with crossings and tra...
متن کاملA Comparative Study of Pedestrian Identification Approaches for Traffic Light Simulation
This paper presents the different approaches for the pedestrians (who cross the road), there is different type of systems developed now days for pedestrians and to control the traffic so that time consumption to reaching the destination by road become less. This type of system is very helpful for both, the one who drive on the road or who walk on the road (pedestrians). There are different appr...
متن کاملA Component-Oriented Architecture for the CASE-Tool AUTOFOCUS
In this paper we explore how the componentware paradigm can be used for realizing a distributed multi-user CASE tool. The case study concentrates on the repository subsystem, as this is the most critical component with respect to the overall design and has strong implications on the possible working modes available to the developers. The proposed architecture will be integrated into the existin...
متن کاملTra c Lights An AutoFocus Case Study
In this paper we present a case study on Auto Focus a tool prototype for the development of dis tributed and concurrent systems based on the con cepts of the formal method Focus We develop spec ify consistency check and simulate the controller of a pedestrian tra c light using di erent graphical de scription techniques to illustrate an engineering pro cess for concurrent systems Introduction Th...
متن کاملComponent-Oriented Redesign of the CASE-Tool AutoFocus
In this paper we explore how the componentware paradigm can be used to re engineer existing software systems As a case study we use the prototype implementation of the CASE tool AutoFocus which has been developed using standard object oriented design techniques Although designed for re usability with respect to certain criteria AutoFo cus did not use a component based approach yet The case stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998